Computer aided verification - 12th international conference : proceedings
- Författare
- A. Prasad Sistla E. Allen Emerson International Conference on Computer Aided Verification 2000 : Chicago)
- (CAV 2000, Chicago, IL, USA, July 15-19, 2000 E. Allen Emerson, A. Prasad Sistla (eds.)., Literaturangaben)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2000 | Tyskland, Berlin | x, 582 sidor. ill. 24 cm |